Minimum segments in sequent derivations
نویسندگان
چکیده
منابع مشابه
Sequent calculi based on derivations
Fibring is a meta-logical constructor that combines two given logics and produces a new one. In particular, the fibring of two sequent calculi is obtained by combining the languages of both calculi and taking all rules allowed in either calculus. By their own nature, proofs in the fibring have no relationship to proofs in the components, so that these are essentially different objects. In this ...
متن کاملDynamic Derivations for Sequent-Based Logical Argumentation
We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented...
متن کاملMinimum polygon transversals of line segments
Let S be used to denote a nite set of planar geometric objects. Deene a polygon transversal of S as a closed simple polygon that simultaneously intersects every object in S, and a minimum polygon transversal of S as a polygon transversal of S with minimum perimeter. If S is a set of points then the minimum polygon transversal of S is the convex hull of S. However, when the objects in S have som...
متن کاملNormal Form Theorem for Systems of Sequents
In a system of sequents for intuitionistic predicate logic a theorem, which corresponds to Prawitz’s Normal Form Theorem for natural deduction, are proved. In sequent derivations a special kind of cuts, maximum cuts, are defined. Maximum cuts from sequent derivations are connected with maximum segments from natural deduction derivations, i.e., sequent derivations without maximum cuts correspond...
متن کاملSequent Calculus 3.1 Cut-free Sequent Calculus
In the previous chapter we developed linear logic in the form of natural deduction , which is appropriate for many applications of linear logic. It is also highly economical, in that we only needed one basic judgment (A true) and two judgment forms (linear and unrestricted hypothetical judgments) to explain the meaning of all connectives we have encountered so far. However, it is not immediatel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Publications de l'Institut Mathematique
سال: 2003
ISSN: 0350-1302,1820-7405
DOI: 10.2298/pim0374005b